翻訳と辞書 Words near each other ・ Cartes (disambiguation) ・ CARTES (Exhibition & Conference) ・ Cartes du Ciel ・ Cartesian ・ Cartesian anxiety ・ Cartesian circle ・ Cartesian closed category ・ Cartesian coordinate robot ・ Cartesian coordinate system ・ Cartesian diver ・ Cartesian doubt ・ Cartesian Dreams ・ Cartesian linguistics ・ Cartesian materialism ・ Cartesian Meditations ・ Cartesian monoid ・ Cartesian monoidal category ・ Cartesian Other ・ Cartesian oval ・ Cartesian Perceptual Compression ・ Cartesian product ・ Cartesian product of graphs ・ Cartesian Reflections ・ Cartesian Self ・ Cartesian skyscraper ・ Cartesian tensor ・ Cartesian theater ・ Cartesian tree ・ Cartesianism ・ Cartesio Oktató és Szolgáltató bt Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Cartesian monoid ： ウィキペディア英語版 Cartesian monoid A Cartesian monoid is a monoid, with additional structure of pairing and projection operators. It was first formulated by Dana Scott and Joachim Lambek independently.〔.〕 == Definition == A Cartesian monoid is a structure with signature $\backslash langle$ *,e,(-,-),L,R\rangle where $$ * and $(-,-)$ are binary operations, $L,\; R$, and $e$ are constants satisfying the following axioms for all $x,y,z$ in its universe: ; Monoid : $$ * is a monoid with identity $e$ ; Left Projection : $L$ * (x,\,y) = x ; Right Projection :$R$ * (x,\,y) = y ; Surjective Pairing :$(L$ *x,\,R *x) = x ; Right Homogeneity :$(x$ *z,\,y *z)=(x,\,y) * z The interpretation is that $L$ and $R$ are left and right projection functions respectively for the pairing function $(-,-)$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Cartesian monoid」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.